381. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL

پدیدآورنده :

موضوع : Electronic digital computers - Programming,Formal languages

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

382. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Electronic digital computers - Programming , Formal languages

رده :
QA
76
.
6
.
U848
1993

383. Using formal description techniques: an introduction to Estelle, LOTOS, and SDL

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computer programming,، Formal languages

رده :
QA
76
.
6
.
U848
1993

384. Word processing in groups

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Sequential machine theory,، Group theory,، Formal languages

رده :
QA
267
.
5
.
S4E6

385. Words, Langages and Combinatorics: Proceedings of the international conference: Kyoto, Japan, 28-31 August 1990

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Semigroups- Congresses,، Formal languages- Congresses,، Automata- Congresses

رده :
QA
182
.
W67
1990

386. Words, Semigroups & Transductions :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.

رده :
QA267
.
3
.
W67
2001eb

387. Words, languages, and combinatorics II: proceedings of the international conference : Kyoto, Japan, 25-28 August 1992

موضوع : ، Semigroups- Congresses,، Formal languages- Congresses,، Automata- Congresses

۴ نسخه از این کتاب در ۱ کتابخانه موجود است.

388. Words, languages, and combinatorics III

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.

389. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer Science,Computer science.,Mathematical Logic and Formal Languages

390. تشریح جامع مسائل نظریه زبان ها و ماشین ها بر اساس کتاب پیتر لینز - ویراست پنجم

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)

موضوع : زبان های صوری Formal languages زبان های صوری -- آزمون ها و تمرین ها )عالی( Formal languages -- Examinations, questions, etc. )Higher( نظریه ماشین Machine theory نظریه ماشین -- آزمون ها و تمرین ها )عالی( Machine theory -- Examinations, questions, etc. )Higher(

رده :
QA
267/3
/
ل
9
م
726

391. تشریح جامع مسائل نظریه زبان‌ها و ماشین‌ها بر اساس کتاب پیترلینز

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : زبان‌های صوری,Formal languages,زبان‌های صوری -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Formal languages,نظریه ماشین,Machine theory,نظریه ماشین -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Machine theory

رده :
‭
QA
۲۶۷
/
۳‬ ‭
/
ل
۹
م
۷۲۶ ۱۳۹۶‬

392. روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت :یک گام جدید به سوی خودکارصسازی تولید کد

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Seqence Diagram,State Daigram,formal Languages,Component's Behavior,Outomation and Formal Language

393. نظریه زبان ها و ماشین ها

پدیدآورنده :

کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع : زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory

رده :
QA
۲۶۷
/
۳
/
ر
۵
ن
۶ ۱۳۹۷

394. نظریه زبان ها و ماشین ها

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)

موضوع : نظریه ماشین Machine theory زبان های صوری Formal languages

رده :
QA
267
/
ش
2
ن
6

395. نظریه زبان‌ها و ماشین‌ها

پدیدآورنده :

کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع : نظریه ماشین,Machine theory,زبان‌های صوری,Formal languages

رده :
QA
۲۶۷
/
۳
/
ش
۲
ن
۶ ۱۳۹۶

396. نظریه زبان‌ها و ماشین‌ها

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : زبان‌های صوری,Formal languages,زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory,نظریه ماشین,Machine theory,دانشگاه‌ها و مدارس عالی,Universities and colleges,آزمون دوره‌های تحصیلات تکمیلی,Graduate Record Examination , --‏‫ آزمون‌ها و تمرین‌ها (عالی)‬‬, -- Examinations, questions, etc. (Higher),‏‫ -- آزمون‌ها و تمرین‌ها (عالی)‬‬, -- Examinations, questions, etc. (Higher), --‏‫ راهنمای آموزشی (عالی)‬‬, -- Study and teaching (Higher),‏‫ -- راهنمای آموزشی (عالی)‬‬, -- Study and teaching (Higher), -- آزمون‌ها, -- Examinations, -- ایران, --Iran, -- ایران, -- Iran

رده :
LB
۲۳۵۳ ‭
/
پ
۹۴۱
ن
۶ ۱۳۹۹‬

397. یک گام فراتر از پروتکل رفتاری

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Specification Languages,Formal Languages,Informal Languages,Behavior Description Languages,Behavior Protocol,Secure Behavior Protocol